Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
651	AI4FM AI4FM: Another way to use AI ideas to support formal methods Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Formal languages Formal systems Logical truth Theoretical computer science Automated theorem proving Mathematical proof Formal proof Logic Theorist Formal methods Logic Mathematics Proof theory
652	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical syntax Formal languages Well-formed formula Logical connective Propositional calculus FO Modal depth Propositional formula Logic Mathematical logic Modal logic
653	TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1 Add to Reading List Source URL: www.gradsoft.com.ua Language: English - Date: 2005-10-06 06:06:53 Logic in computer science Formal languages Programming language semantics Combinatorics on words Rewriting Unification Drools Operational semantics Programming language Theoretical computer science Mathematics Applied mathematics
654	Probabilistic polynomial-time semantics for a protocol security logic? Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Vitaly Shmatikov2 , and Mathieu Turuani3 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:05:08 Model theory Well-formed formula IP Interpretation Logic Metalogic Formal languages
655	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Formal languages Logical syntax Boolean algebra Well-formed formula Logical connective Logic Mathematical logic Propositional calculus
656	DOI: j03201.x Pacific Graphics 2012 C. Bregler, P. Sander, and M. Wimmer (Guest Editors) Volume), Number 7 Add to Reading List Source URL: jmarvie.free.fr Language: English - Date: 2012-10-03 15:22:44 Imaging Visual effects Graphics hardware Virtual reality Procedural generation L-system Rendering Procedural modeling Shader 3D computer graphics Computer graphics Formal languages
657	Perl versiondocumentation - Pod::Escapes NAME Pod::Escapes - for resolving Pod E<...> sequences SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:48:18 HTML Markup languages Formal languages Plain Old Documentation Form Perl module Regular expression Unicode POD Computing Character encoding Perl
658	Fakultät für Elektrotechnik, Informatik und Mathematik Bachelor’s Thesis Ambiguity Detection for Context-Free Grammars in Eli Add to Reading List Source URL: www.brics.dk Language: English - Date: 2008-05-29 09:43:54 Software engineering Computing Parser generators Compiling tools Parsing LALR parser LL parser LR parser SYNTAX Programming language implementation Formal languages Compiler construction
659	Growing Languages with Metamorphic Syntax Macros Claus Brabrand Michael I. Schwartzbach BRICS Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-02 05:23:14 Macro programming languages Transformation languages Source code Formal languages Cross-platform software C preprocessor Macro Hygienic macro Syntax Computing Software engineering Computer programming
660	Formal Analysis of a Triplex Sensor Voter at Rockwell Collins France Michael Dierkes TAPAS 2010 workshop September 17, 2010 Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2010-09-28 15:24:12 Simulation software Visual programming languages Cross-platform software Mathematical modeling Numerical software Simulink MATLAB Rockwell Collins Software Computing Application software

UPDATE